1

Categorical fixed point semantics

Year:
1990
Language:
english
File:
PDF, 1.36 MB
english, 1990
2

Partial map classifiers and partial cartesian closed categories

Year:
1994
Language:
english
File:
PDF, 962 KB
english, 1994
3

Monad compositions II: Kleisli strength

Year:
2008
Language:
english
File:
PDF, 412 KB
english, 2008
4

Generalized Banach-Mazur functionals in the topos of recursive sets

Year:
1982
Language:
english
File:
PDF, 679 KB
english, 1982
5

Adjointness in recursion

Year:
1986
Language:
english
File:
PDF, 584 KB
english, 1986
6

A categorical approach to the theory of computation

Year:
1989
Language:
english
File:
PDF, 1.40 MB
english, 1989
7

Preface: Volume 14, Isuue 1

Year:
1998
Language:
english
File:
PDF, 44 KB
english, 1998
8

Monads in Semantics

Year:
1998
Language:
english
File:
PDF, 693 KB
english, 1998
9

Monads and algebras in the semantics of partial data types

Year:
1992
Language:
english
File:
PDF, 901 KB
english, 1992